Поиск по сайту

HomeПоиск по сайту

Information

По вашему запросу найдено материалов: 1
Искать:
Leonova Maria A., Devyanin Petr N. «Comparison of methods for modeling access control in os and dbms in Event-B for the purpose of their verification with Rodin and ProB tools» // Applied Discrete Mathematics. Supplement 2022. №15 C.90-99